Computer arithmetic - PDFSEARCH.IO - Document Search Engine

Computer arithmetic
Results: 1849

#	Item
351	CCCG 2007, Ottawa, Ontario, August 20–22, 2007 On the Design and Performance of Reliable Geometric Predicates using Error-free Transformations and Exact Sign of Sum Algorithms∗ Marc M¨orig† Add to Reading List Source URL: cccg.ca Language: English - Date: 2008-10-28 21:26:56 Numerical analysis Numbers Kahan summation algorithm Floating point NaN IEEE 754-2008 Truncation error Delaunay triangulation CGAL Computer arithmetic Mathematics Computing
352	Filename: BASCD08K Version dated April 30, 2008 5:41 pm Back to the Future of Undebuggable Floating-Point Computation in Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2008-04-30 20:42:24 Computer arithmetic Applied mathematics Floating point William Kahan Rounding Round-off error Gene H. Golub Fortran Computing Mathematics Numerical analysis
353	Dedication W. Kahan The Proceedings of the 17th Symposium on Computer Arithmetic are dedicated to William M. Kahan for his lifetime contributions to Computational Mathematics, Numerical Analysis, and Standardization of C Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2005-06-17 16:34:09 William Kahan Science Computing Data types Turing Award Floating point Computer Computer arithmetic Computer science Turing Award laureates
354	EXTREME-SCALE ALGORITHMS AND SOFTWARE INSTITUTE PI: Al Geist Oak Ridge National Laboratory Add to Reading List Source URL: www.csm.ornl.gov Language: English - Date: 2011-07-18 17:09:38 Parallel computing Graphics hardware Numerical software Computer arithmetic Basic Linear Algebra Subprograms Multi-core processor CUDA UT–Battelle FLOPS Computing Concurrent computing GPGPU
355	Programming for MSc Part I Part 2: Scalar Data Types (a) What Scalar Types are Add to Reading List Source URL: herbert.the-little-red-haired-girl.org Language: English - Date: 2009-07-29 03:21:47 Data types C programming language C Standard Library Computer arithmetic Primitive types Printf format string Scanf format string Type conversion Scalar Computing Computer programming Software engineering
356	University of California Los Angeles Symbolic Execution Algorithms for Test Generation Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2012-11-23 07:14:40 Software bugs Software testing Automated theorem proving Concolic testing Buffer overflow Symbolic execution Arithmetic overflow String C Software engineering Computing Computer programming
357	Anatomy of Alternating Quantifier Satisfiability (Work in progress) Anh-Dung Phan Technical University of Denmark Nikolaj Bjørner Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-06-03 10:03:44 Model theory Logic in computer science Predicate logic Computability theory Metalogic Quantifier elimination Satisfiability Modulo Theories Presburger arithmetic True quantified Boolean formula Theoretical computer science Logic Mathematical logic
358	Arithmetic Circuits: a survey of recent results and open questions Amir Shpilka 1 Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-03-10 13:51:53 Complexity classes Circuit complexity Arithmetic circuit complexity Mathematical optimization Polynomials Schwartz–Zippel lemma ACC0 Circuit PP Theoretical computer science Computational complexity theory Applied mathematics
359	IM PROBER June 10, :36 pm The Improbability of PROBABILISTIC ERROR ANALYSES Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2001-08-06 23:56:39 Numerical analysis Measurement Error Computer arithmetic Statistical inference Error analysis Rounding Floating point PP Statistics Science Knowledge
360	Simplification of Symbolic-Numerical Interval Expressions∗ E. D. Popova C. P. Ullrich Inst. of Mathematics & Comp. Sci. Add to Reading List Source URL: www.math.bas.bg Language: English - Date: 2009-01-04 08:49:00 Numerical analysis Arithmetic Computer arithmetic Interval arithmetic Interval Computer algebra system Polynomial Calculus Logarithm Mathematics Algebra Mathematical software

UPDATE